home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part2 / 18090 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  1.7 KB

  1. Path: ornews.intel.com!news
  2. From: Patrick Logan <patrick_d_logan@ccm.hf.intel.com>
  3. Newsgroups: comp.lang.java,comp.lang.c++,comp.lang.smalltalk
  4. Subject: Type systems, Dylan, Smalltalk, etc. (Was: Re: Will Java...)
  5. Date: Thu, 18 Apr 1996 13:24:32 -0700
  6. Organization: Intel
  7. Message-ID: <3176A500.4CAA@ccm.hf.intel.com>
  8. References: <31682FFE.2781E494@bbn.com> <dbell-1 <3171810F.2E2@funsys.se> <4l0f6o$sec@nkosi.well.com> <Dpyro4.8o9@news.hawaii.edu>
  9. NNTP-Posting-Host: jlchesne.intel.com
  10. Mime-Version: 1.0
  11. Content-Type: text/plain; charset=us-ascii
  12. Content-Transfer-Encoding: 7bit
  13. X-Mailer: Mozilla 2.01 (WinNT; I)
  14.  
  15. Peter Hinely wrote:
  16. > This type system allows Dylan programs to be prototyped rapidly without
  17. > type information.  Type information can later be added in, which the
  18. > compiler can use to optimize the program better, giving you the best of
  19. > both worlds:  rapid development and good performance in your final program.
  20.  
  21. The Dylan type system is a *mix* of both worlds. It has yet to be
  22. proven that it actually is the *best* of both worlds.
  23.  
  24. There are systems out there that do comprehensive type inferencing to
  25. the point they appear to be more than competitive with C. (After all
  26. we still have to compare everything to C, don't we?)
  27.  
  28. Consider the Stalin system for Scheme from U. Toronto.
  29.  
  30. This is approaching more of what I would consider the *best* of both
  31. worlds: getting the performance and security of a statically
  32. typed language without ever having to explicitly name a type.
  33.  
  34. Extrapolating the Stalin experience (now there is a scary term)
  35. to Smalltalk would be a good research topic, IMO.
  36.  
  37. -- 
  38. Patrick_D_Logan@ccm.hf.intel.com
  39.  
  40. "OO is a tool, not a religion, and not a philosophy."
  41. -Robert C. Martin
  42.